/*
  Time-stamp: <2009-11-12 13:12:00 xinhaoyuan>

  File: task.c

  This file is nearly empty since most of the feature in the file is
  moved out.
  
 */
#define _EKOS_KERNEL_C_

#include <kernel/kernel.h>
struct taskstate_t task;
